logica combinatoria

logica combinatoria
комбинаторная логика

Dictionnaire polytechnique italo-russe. 2013.

Игры ⚽ Поможем написать курсовую

Смотреть что такое "logica combinatoria" в других словарях:

  • Lógica combinatoria — La lógica combinatoria es la lógica última y como tal puede ser un modelo simplificado del cómputo, usado en la teoría de computabilidad (el estudio de qué puede ser computado) y la teoría de la prueba (el estudio de qué se puede probar… …   Wikipedia Español

  • Lógica combinatoria — Introducción La lógica combinatoria es la lógica última y como tal puede ser un modelo simplificado del cómputo, usado en la teoría de computabilidad (el estudio de qué puede ser computado) y la teoría de la prueba (el estudio de qué se puede… …   Enciclopedia Universal

  • Lógica (desambiguación) — Saltar a navegación, búsqueda Lógica libre Lógica aristotélica Lógica binaria Lógica bivalente Lógica combinatoria Lógica computacional Lógica de control Lógica de descripción Lógica de primer orden Lógica de segundo orden Lógica deóntica Lógica… …   Wikipedia Español

  • Lógica matemática — La lógica matemática es una parte de la lógica y las matemáticas, que consiste en el estudio matemático de la lógica y en la aplicación de este estudio a otras áreas de las matemáticas. La lógica matemática tiene estrechas conexiones con la… …   Wikipedia Español

  • Sistema B — Sistema B,C,K,W Saltar a navegación, búsqueda El sistema B, C, K, W es una variante de lógica combinatoria que toma como primitivas a los combinadores B, C, K, and W. Este sistema fue propuesto originalmente por Haskell Curry en su tesis doctoral …   Wikipedia Español

  • Máquina de estados algorítmica — La Máquina de estados algorítmica (ASM) es un método para el diseño de Máquina de estados finitos. Se utiliza para representar los diagramas de circuito integrado s digitales. El diagrama de ASM es como un diagrama de estado, pero menos formal y… …   Wikipedia Español

  • Sistema B,C,K,W — El sistema B, C, K, W es una variante de lógica combinatoria que toma como primitivas a los combinadores B, C, K, and W. Este sistema fue propuesto originalmente por Haskell Curry en su tesis doctoral [GKL] Grundlagen der kombinatorischen… …   Wikipedia Español

  • Dana Scott — Saltar a navegación, búsqueda Dana Stewart Scott Nacimiento 1932 …   Wikipedia Español

  • Paolo Rossi (philosophe) — Pour les articles homonymes, voir Paolo Rossi. Paolo Rossi (né le 30 décembre 1923 à Urbino) est un historien des sciences et un philosophe italien spécialiste de la Renaissance. En France, il est surtout connu pour son ouvrage Aux Origines de la …   Wikipédia en Français

  • Paolo rossi (philosophe) — Pour les articles homonymes, voir Paolo Rossi. Article de la série Histoire des sciences Chronologie …   Wikipédia en Français

  • Paolo Rossi (Philosoph) — Paolo Rossi (* 30. Dezember 1923 in Urbino) ist ein italienischer Philosoph und Wissenschaftshistoriker. Bis zu seiner Emeritierung 1999 lehrte er an verschiedenen italienischen Universitäten Philosophiegeschichte. Rossi ist Spezialist für die… …   Deutsch Wikipedia


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»